Merge pull request #1645 from antonio-nino-diaz-arm/an/fix-windows
authorAntonio Niño Díaz <[email protected]>
Tue, 23 Oct 2018 13:39:01 +0000 (15:39 +0200)
committerGitHub <[email protected]>
Tue, 23 Oct 2018 13:39:01 +0000 (15:39 +0200)
Makefile: Fix verbose builds on Windows


Trivial merge